the witness set of coexistence of quantum effects and its preservers

one of unsolved problems in quantum measurement theory is to characterize coexistence of quantum effects. in this paper, applying positive operator matrix theory, we give a mathematical characterization of the witness set of coexistence of quantum effects and obtain a series of properties of coexistence. we also devote to characterizing bijective morphisms on quantum effects leaving the witness set invariant. furthermore, applying linear maps preserving commutativity, which are characterized by choi, jafarian and radjavi [linear maps preserving commutativity, linear algebra appl. 87 (1987), 227--241.], we classify multiplicative general morphisms leaving the witness set invariant on finite dimensional hilbert space effect algebras.